Date: Tue, 10 Dec 1996 03:25:32 GMT
Server: NCSA/1.4.2
Content-type: text/html

<html>
<head>
<TITLE>Indigo: A Local Propagation Algorithm for Inequality Constraints</title>
</head>

<body>

<H2>Indigo: A Local Propagation Algorithm for Inequality Constraints</H2>

<p>

Authors: Alan Borning, Richard Anderson, and Bjorn Freeman-Benson

<p>

In <em>Proceedings of the 1996 ACM Symposium on User Interface Software and
Technology</em>, pages 129-136.

<P>
<hr>

<H3>Abstract</H3>

Inequality constraints are useful for specifying various aspects of user
interfaces, such as constraints that one window is to the left of another,
or that an object is contained within a rectangle.  However, current local
propagation constraint solvers can't handle inequality constraints.  We
present Indigo, an efficient local propagation algorithm for satisfying
acyclic constraint hierarchies, including inequality constraints.

<P>
<HR>
<P>

Click <!WA0><a href=
"ftp://cs.washington.edu/pub/constraints/papers/indigo-uist-96.ps.Z">
here</a> to get the postscript file.

<P>

Return to <!WA1><a href="http://www.cs.washington.edu/research/projects/weird/www/index.html">Constraints home page</a>
